Buy Used and New David Till Books

An Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)

by Ben Potter,etc.,Jane Sinclair,David Till

ISBN 13: 9780134787022

Format: Paperback (324 pages)
Publisher: Prentice-Hall
Published: 01 Apr 1991
Other Format: Paperback

Save for later

Introduction Formal Specification And Z (2nd Edition) (Prentice-Hall International Series in Computer Science)

by Ben Potter,Jane Sinclair,David Till

ISBN 13: 9780132422079

Format: Paperback (448 pages)
Publisher: Prentice Hall
Published: 21 Jun 1996
Other Format: Paperback

Save for later

ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings: 1212 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,David Till,Michael G. Hinchey

ISBN 13: 9783540627173

Format: Paperback (452 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 (Workshops in Computing)

by David Till

ISBN 13: 9783540198864

Format: Paperback (320 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later